Max Herzog †

Draft Shai Herzog

This memo presents a set of extensions for supporting generic policy based admission control in RSVP. It should be perceived as an extension to the RSVP functional specifications [RSVP] These extensions include the standard format of POLICY_DATA objects, and a description of RSVP’s handling of policy events. This document does not advocate particular policy control mechanisms; however, a Router...

Dagmar Herzog : Sex after Fascism

University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users are not permitted to mount this file on any network servers. Introduction WHAT IS T...

On a question of Herzog and Rothmaler

Computational Soundness of Formal Adversaries by Jonathan Herzog

The Dolev–Yao model is a useful and widespread framework in which to analyze security protocols. However, it models the messages of the protocol at a very high level and makes extremely strong assumptions about the power of the adversary. The computational model of cryptography and cryptographic protocols takes a much more low-level view of messages and uses much weaker assumptions. A major res...

Marta Kwiatkowska , Ulrich Herzog Christoph Meinel , Moshe Vardi ( editors )

ion in Probabilistic Process Algebra Suzana Andova Eindhoven University of Technology In this work we treat the problem of abstraction in fully probabilistic process algebra and its semantics based on branching bisimulation. Since the idea of fairness rules together with abstraction (introduced by the abstraction operator tauI and constant tau meaning an internal action) is central to the verif...